Towards a First-Order Modal Formalisation of the Unified Foundational Ontology
نویسندگان
چکیده
In this paper, we present a succinct formalisation of the main categories of the Unified Foundational Ontology (UFO) by summarising and simplifying a fragment of the version of [Gui05]. In this version, we show that the use first-order modal logic with no higher-order constructs suffices for many modelling tasks. We focus here on the case of universals. We slightly modify the original version of UFO by presenting new definitions of the intension and of the extension of universals and by approaching a taxonomy of universals.
منابع مشابه
Towards the Ontological Representation of Functional Basis in dolce
We present a formalisation of the notion of function as set forward by Robert Stone and Kristin Wood in the Functional Modelling approach. This formalisation is part of a larger project to analyse functional descriptions of technical artifacts. The current result is a formal system in which engineering notions of functions are expressed in terms of definitions grounded in the foundational ontol...
متن کاملAn ontology of online user feedback in software engineering
Online user feedback is principally used as an information source for evaluating customers’ satisfaction for a given goods, service or software application. The increasing attitude of people towards sharing comments through the social media is making online user feedback a resource containing different types of valuable information. The huge amount of available user feedback has drawn the atten...
متن کاملHow to Build a Foundational Ontology: The Object-Centered High-level Reference Ontology OCHRE
Foundational ontologies are axiomatic accounts of high-level domain-independent categories about the real world. They constitute toolboxes of reusable information modeling primitives for building application ontologies in specific domains. As such, they enhance semantic interoperability between agents by specifying descriptively adequate shared conceptualisations. The design of foundational ont...
متن کاملDesigning Foundational Ontologies: The Object-Centered High-Level Reference Ontology OCHRE as a Case Study
Foundational ontologies are axiomatic theories about highlevel domain-independent categories of the real world. They constitute toolboxes of eminently reusable information modelling primitives for building application ontologies about specific domains. The design of foundational ontologies confronts the conceptual modeller with completely new challenges in respect of their content as well as th...
متن کاملDevelopment of structured ontologies in CASL
Ontologies are differentiated in foundational and domain ontologies. As both kinds of ontologies are developed under different considerations such as expressivity or efficiency, usually different formal languages are used. Foundational ontologies are typically specified in first-order logic or modal logic, since precise definitions are considered more important than efficiency. Since domain ont...
متن کامل